Results for 'Verónica A. Gutiérrez'

988 found
Order:
  1.  4
    Representaciones sociales sobre la escritura: una revisión sistemática de artículos de investigación.María Verónica Strocchi, Beatriz Arancibia Gutiérrez & Stefanie Kloss Medina - 2022 - Human Review. International Humanities Review / Revista Internacional de Humanidades 11 (6):1-17.
    Este estudio tuvo como objetivo caracterizar investigaciones sobre representaciones sociales de docentes y estudiantes acerca de la escritura en la educación superior. La revisión sistemática se efectuó siguiendo la metodología propuesta por la Declaración PRISMA. La búsqueda, que fue realizada en las bases de datos WOS, Scopus, Scielo y ERIC, permitió identificar 20 artículos entre los que predomina el enfoque cualitativo. Como elementos recurrentes se destacan la necesidad de que en la universidad se enseñe explícitamente a escribir y la persistencia (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Bla-bla en lugar de pun-pun: En torno a las relaciones entre la Ciencia y la Religión.A. Gutiérrez Martínez & J. Rodríguez García - 2002 - Ciudad de Dios 215 (2):557-603.
    No categories
     
    Export citation  
     
    Bookmark  
  3. Evolución y religión en el biocentenario del nacimiento de Charles Darwin (1809-1882).A. Gutiérrez Martínez - 2009 - Ciudad de Dios 222 (1):191-204.
    No categories
     
    Export citation  
     
    Bookmark  
  4. I Jornadas sobre "Crisis de la Modernidad". Bilbao, 1-5 de febrero de 1988.A. Gutiérrez Martínez - 1988 - Diálogo Filosófico 11:221-223.
    No categories
     
    Export citation  
     
    Bookmark  
  5. De la anáfora de la "Tradición Apostólica" de San Hipólito de Roma a la "II plegaria eucarística" del misal romano actual.A. Gutiérrez de Rucandio - 1985 - Naturaleza y Gracia 2:135-231.
    No categories
     
    Export citation  
     
    Bookmark  
  6.  10
    Ultra–Cold Many–Body Systems and Phenomenology of Gravity Theories with Compact Dimensions.H. Ríos, A. Camacho & S. Gutiérrez - 2023 - Foundations of Physics 53 (1):1-13.
    The detection of the number of extra–compact dimensions contained in some gravitational models is analyzed resorting to the discontinuity of the specific heat at the critical temperature of a Bose–Einstein condensate. It is shown that the function relating the number of particles and this discontinuity defines a segment of a straight line whose slope depends upon the number of extra–compact dimensions. The experimental feasibility of the proposal is also considered.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Checking the role of central executive in propositional reasoning.J. A. García-Madruga, F. Gutiérrez, N. Carriedo, J. M. Luzón & J. O. Vila - 2007 - Thinking and Reasoning 13 (4):370-393.
     
    Export citation  
     
    Bookmark   1 citation  
  8.  27
    Should HECs involved in case review have a healthcare ethics consultant?Michael M. Burgess, Elizabeth A. Flagler & Veronica A. Dalla-Longa - 1993 - HEC Forum 5 (3):196-204.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  33
    In situanalysis of the tensile deformation mechanisms in extruded Mg–1Mn–1Nd.C. J. Boehlert, Z. Chen, A. Chakkedath, I. Gutiérrez-Urrutia, J. Llorca, J. Bohlen, S. Yi, D. Letzig & M. T. Pérez-Prado - 2013 - Philosophical Magazine 93 (6):598-617.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  20
    The Content Analysis of the Russian Federal and Regional Basic Legislation on the Cultural Policy.Natalia P. Koptseva, Vladimir S. Luzan, Veronica A. Razumovskaya & Vladimir I. Kirko - 2017 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 30 (1):23-50.
    The content-analysis of the Russian federal and regional basic legislation on the cultural policy has indicated a need in a deep revision of all existing regulatory legal acts, which support the state cultural policy implementation towards building a universal terminology and vesting the functions on the cultural policy implementation in the government as opposed to the statement of the departmental specific approach to the culture.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  11
    Analysis and Characterization of the Spread of COVID-19 in Mexico through Complex Networks and Optimization Approaches.Edwin Montes-Orozco, Roman-Anselmo Mora-Gutiérrez, Sergio-Gerardo de-los-Cobos-Silva, Eric A. Rincón-García, Miguel A. Gutiérrez-Andrade & Pedro Lara-Velázquez - 2022 - Complexity 2022:1-12.
    This work analyzes and characterizes the spread of the COVID-19 disease in Mexico, using complex networks and optimization approaches. Specifically, we present two methodologies based on the principle of the rupture for the GC and Newton's law of motion to quantify the robustness and identify the Mexican municipalities whose population causes a fast spread of the SARS-CoV-2 virus. Specifically, the first methodology is based on several characteristics of the original version of the Vertex Separator Problem, and the second is based (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  70
    Reply to 'Comment on “Helmholtz Theorem and the V-Gauge in the Problem of Superluminal and Instantaneous Signals in Classical Electrodynamics” by A. Chubykalo et al.' by J.A. Heras [Found. Phys. Lett. vol. 19(6) p. 579 (2006)]. [REVIEW]A. Chubykalo, A. Espinoza, R. Alvarado Flores & A. Gutierrez Rodriguez - 2007 - Foundations of Physics 37 (11):1648-1652.
  13.  28
    Reading impairments in schizophrenia relate to individual differences in phonological processing and oculomotor control: Evidence from a gaze-contingent moving window paradigm.Veronica Whitford, Gillian A. O'Driscoll, Christopher C. Pack, Ridha Joober, Ashok Malla & Debra Titone - 2013 - Journal of Experimental Psychology: General 142 (1):57.
  14.  21
    An information-based approach to action understanding.Verónica C. Ramenzoni, Michael A. Riley, Kevin Shockley & Tehran Davis - 2008 - Cognition 106 (2):1059-1070.
  15. Epistemología y política en el discurso pedagógico.A. Sánchez, D. Ortiz, Gutiérrez & P. Vera - 1982 - Enrahonar: Quaderns de Filosofía.
    No categories
     
    Export citation  
     
    Bookmark  
  16. Radio Comunitaria Campesina.Analía Santander Y. Daniel Gutierrez - 2021 - In Esteban Vergalito & Marco G. Mallamaci (eds.), Praxis, conocimiento y emancipación: indagaciones de epistemología política. San Juan, Argentina: Editorial UNSJ.
     
    Export citation  
     
    Bookmark  
  17.  11
    Hardness testing under a different light: combining synchrotron X-ray microdiffraction and indentation techniques for polymer fibres studies.A. Gourrier, M. C. García-Gutiérrez & C. Riekel - 2006 - Philosophical Magazine 86 (33-35):5753-5767.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  7
    Call for papers: Special issue: Digital media, feminisms, and public health in the age of a pandemic.Veronica Pravadelli & Ilaria A. De Pascalis - 2023 - European Journal of Women's Studies 30 (1):120-121.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  29
    Optimal sequencing during category learning: Testing a dual-learning systems perspective.Sharon M. Noh, Veronica X. Yan, Robert A. Bjork & W. Todd Maddox - 2016 - Cognition 155 (C):23-29.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Selective Attention.William A. Johnston & Veronica J. Dark - 1986 - Annu. Rev. Psychol 37:43-75.
  21. Societal-Level Versus Individual-Level Predictions of Ethical Behavior: A 48-Society Study of Collectivism and Individualism.David A. Ralston, Carolyn P. Egri, Olivier Furrer, Min-Hsun Kuo, Yongjuan Li, Florian Wangenheim, Marina Dabic, Irina Naoumova, Katsuhiko Shimizu, María Teresa Garza Carranza, Ping Ping Fu, Vojko V. Potocan, Andre Pekerti, Tomasz Lenartowicz, Narasimhan Srinivasan, Tania Casado, Ana Maria Rossi, Erna Szabo, Arif Butt, Ian Palmer, Prem Ramburuth, David M. Brock, Jane Terpstra-Tong, Ilya Grison, Emmanuelle Reynaud, Malika Richards, Philip Hallinger, Francisco B. Castro, Jaime Ruiz-Gutiérrez, Laurie Milton, Mahfooz Ansari, Arunas Starkus, Audra Mockaitis, Tevfik Dalgic, Fidel León-Darder, Hung Vu Thanh, Yong-lin Moon, Mario Molteni, Yongqing Fang, Jose Pla-Barber, Ruth Alas, Isabelle Maignan, Jorge C. Jesuino, Chay-Hoon Lee, Joel D. Nicholson, Ho-Beng Chia, Wade Danis, Ajantha S. Dharmasiri & Mark Weber - 2014 - Journal of Business Ethics 122 (2):283–306.
    Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  22.  16
    A Further Analysis of the Blackbody Radiation.G. Ares De Parga, F. Gutiérrez-Mejıa, Up Adolfo López Mateos & Lindavista Zacatenco - 2010 - Apeiron: Studies in Infinite Nature 17 (2):59.
  23.  27
    The Early Elementary School Abbreviated Math Anxiety Scale (the EES-AMAS): A New Adapted Version of the AMAS to Measure Math Anxiety in Young Children.Caterina Primi, Maria A. Donati, Viola A. Izzo, Veronica Guardabassi, Patrick A. O’Connor, Carlo Tomasetto & Kinga Morsanyi - 2020 - Frontiers in Psychology 11.
  24.  22
    Strong modularity and circular reasoning pervade the planning–control model.Verónica C. Ramenzoni & Michael A. Riley - 2004 - Behavioral and Brain Sciences 27 (1):48-49.
    We believe the dichotomy of processes introduced in the target article is highly speculative, because the dichotomy is shaped by the questionable assumption of modularity and the complementary assumption of locality. As a result, the author falls into a line of circular reasoning that biases his analysis of the experimental and neuropsychological data, and weakens the proposed model.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  18
    Hobbes y la tolerancia religiosa: una lectura de Leviatán desde el concepto de “religión”.Álvaro A. Pezoa Gutiérrez - 2021 - Tópicos: Revista de Filosofía 61:39-67.
    This article analyzes the possibility of finding an approach favorable to religious tolerance in Thomas Hobbes’s Leviathan. With this aim, I will first establish a contrast between two interpretative groups that have guided the discussion on the subject, focusing mainly on Leviathan. On the one side, there are more “traditional” commentators of Hobbes’s works, to whom the idea of religious tolerance in Hobbes’s texts makes little or no sense; on the other hand, there are academics who defend a “revisionist” reading, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Paleoclimatic evidences from the late Pleistocene-middle Holocene at Paso Otero 5 site (Pampean region, Argentina).María A. Gutierrez - forthcoming - Laguna.
    No categories
     
    Export citation  
     
    Bookmark  
  27. The phenomenological concept of dialectic aesthetics in Adorno. A critical comprehension of aesthetics in debate with Hegel and Heidegger.A. Gutierrez Pozo - 2005 - Pensamiento 61 (230):287-310.
     
    Export citation  
     
    Bookmark  
  28.  32
    Rainbow Wash or Rainbow Revolution? Dynamic Stakeholder Engagement for SDG-Driven Responsible Innovation.Leopoldo Gutierrez, Ivan Montiel, Jordi A. Surroca & Josep A. Tribo - 2022 - Journal of Business Ethics 180 (4):1113-1136.
    The United Nations’ increasing involvement in global sustainability culminated in 2015 with the release of the 2030 Agenda. This agenda puts businesses in the spotlight, and their innovation and stakeholder partnering activities are portrayed as essential strategies for achieving an ambitious set of 17 Sustainable Development Goals. In this study, we identify six distinct dynamic stakeholder engagement strategies—resilient specialists, opportunity explorers, uncommitted diversifiers, rainbow warriors, rainbow washers, and progressive learners—and distinguish two approaches to innovate, depending on the range of SDG (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  21
    Introduction. Anarchism and the national question—historical, theoretical and contemporary perspectives.José A. Gutierrez & Ruth Kinna - 2023 - Nations and Nationalism 29 (1):121-130.
    This article provides an introduction to the themed section ‘Anarchism and the national question—historical, theoretical and contemporary perspectives.’ We discuss first the long and often overlooked engagement of anarchists with the colonial and national liberation question, particularly—but not exclusively—in the heyday of the movement (from the second half of the 19th to the first decades of the 20th century). We discuss in particular the overlaps and tensions between anarchists and republicans (those who favoured republics as opposed to monarchies) and anti-colonial (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. Diseño, construcción y control PD con compensación de pares gravitacionales de un robot manipulador didáctico.Carlos A. González Gutiérrez - 2006 - Episteme 2 (7).
     
    Export citation  
     
    Bookmark  
  31. A Highly Random Number.Veronica Becher & Sergio Daicz - unknown
    many symbols. We define o, as the probability that an arbitrary machine be circular and we prove that o, is a random number that goes beyond..
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  32.  87
    A Twenty-First Century Assessment of Values Across the Global Workforce.David A. Ralston, Carolyn P. Egri, Emmanuelle Reynaud, Narasimhan Srinivasan, Olivier Furrer, David Brock, Ruth Alas, Florian Wangenheim, Fidel León Darder, Christine Kuo, Vojko Potocan, Audra I. Mockaitis, Erna Szabo, Jaime Ruiz Gutiérrez, Andre Pekerti, Arif Butt, Ian Palmer, Irina Naoumova, Tomasz Lenartowicz, Arunas Starkus, Vu Thanh Hung, Tevfik Dalgic, Mario Molteni, María Teresa de la Garza Carranza, Isabelle Maignan, Francisco B. Castro, Yong-lin Moon, Jane Terpstra-Tong, Marina Dabic, Yongjuan Li, Wade Danis, Maria Kangasniemi, Mahfooz Ansari, Liesl Riddle, Laurie Milton, Philip Hallinger, Detelin Elenkov, Ilya Girson, Modesta Gelbuda, Prem Ramburuth, Tania Casado, Ana Maria Rossi, Malika Richards, Cheryl Van Deusen, Ping-Ping Fu, Paulina Man Kei Wan, Moureen Tang, Chay-Hoon Lee, Ho-Beng Chia, Yongquin Fan & Alan Wallace - 2011 - Journal of Business Ethics 104 (1):1-31.
    This article provides current Schwartz Values Survey (SVS) data from samples of business managers and professionals across 50 societies that are culturally and socioeconomically diverse. We report the society scores for SVS values dimensions for both individual- and societal-level analyses. At the individual-level, we report on the ten circumplex values sub-dimensions and two sets of values dimensions (collectivism and individualism; openness to change, conservation, self-enhancement, and self-transcendence). At the societal-level, we report on the values dimensions of embeddedness, hierarchy, mastery, affective (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  33. A semantic approach for knowledge capture of microRNA-target gene interactions.Jingshan Huang, Fernando Gutierrez, Dejing Dou, Judith A. Blake, Karen Eilbeck, Darren A. Natale, Barry Smith, Yu Lin, Xiaowei Wang & Zixing Liu - 2015 - In Jingshan Huang, Fernando Gutierrez, Dejing Dou, Judith A. Blake, Karen Eilbeck, Darren A. Natale, Barry Smith, Yu Lin, Xiaowei Wang & Zixing Liu (eds.), IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM 2015),. pp. 975-982.
    Research has indicated that microRNAs (miRNAs), a special class of non-coding RNAs (ncRNAs), can perform important roles in different biological and pathological processes. miRNAs’ functions are realized by regulating their respective target genes (targets). It is thus critical to identify and analyze miRNA-target interactions for a better understanding and delineation of miRNAs’ functions. However, conventional knowledge discovery and acquisition methods have many limitations. Fortunately, semantic technologies that are based on domain ontologies can render great assistance in this regard. In our (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  30
    Thinking Ahead on Deep Brain Stimulation: An Analysis of the Ethical Implications of a Developing Technology.Veronica Johansson, Martin Garwicz, Martin Kanje, Lena Halldenius & Jens Schouenborg - 2014 - American Journal of Bioethics Neuroscience 5 (1):24-33.
    Deep brain stimulation (DBS) is a developing technology. New generations of DBS technology are already in the pipeline, yet this particular fact has been largely ignored among ethicists interested in DBS. Focusing only on ethical concerns raised by the current DBS technology is, albeit necessary, not sufficient. Since current bioethical concerns raised by a specific technology could be quite different from the concerns it will raise a couple of years ahead, an ethical analysis should be sensitive to such alterations, or (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  35.  29
    Spurious alternative impact factors: The scale of the problem from an academic perspective.Fredy R. S. Gutierrez, Jeffrey Beall & Diego A. Forero - 2015 - Bioessays 37 (5):474-476.
    Graphical AbstractThe recent explosion in the number of predatory journals has led to the appearance of questionable websites providing fake or spurious impact factors, which are analyzed and discussed here. We believe that academic associations, universities, and research funding bodies must take action to stop these questionable practices.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  29
    Levels of selection and capacity limits.Veronica J. Dark, William A. Johnston, Marina Myles-Worsley & Martha J. Farah - 1985 - Journal of Experimental Psychology 114 (4):472-497.
  37. Optimal modular feedforward neural networks based on functional networks.A. S. Cofino & J. M. Gutiérrez - 2001 - In P. Bouquet (ed.), Lecture Notes in Artificial Intelligence. Kluwer Academic Publishers. pp. 2083--308.
  38. Mejoramiento gentico vegetal in vitro E.A. Gutiérrez-Mora, F. Santacruz-Ruvalcaba, J. L. Cabrera-Ponce & B. Rodríguez-Garay - 2003 - Gnosis 1.
     
    Export citation  
     
    Bookmark  
  39. OmniSearch: a semantic search system based on the Ontology for MIcroRNA Target Gene Interaction data.Huang Jingshan, Gutierrez Fernando, J. Strachan Harrison, Dou Dejing, Huang Weili, A. Blake Judith, Barry Smith, Eilbeck Karen, A. Natale Darren & Lin Yu - 2016 - Journal of Biomedical Semantics 7 (1):1.
    In recent years, sequencing technologies have enabled the identification of a wide range of non-coding RNAs (ncRNAs). Unfortunately, annotation and integration of ncRNA data has lagged behind their identification. Given the large quantity of information being obtained in this area, there emerges an urgent need to integrate what is being discovered by a broad range of relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a systematically structured and precisely defined controlled vocabulary for the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  12
    Contextual Factors and Decision-Making in the Behavior of Finalization in the Positional Attack in Beach Handball: Differences by Gender Through Polar Coordinates Analysis.Juan A. Vázquez-Diz, Juan P. Morillo-Baro, Rafael E. Reigal, Verónica Morales-Sánchez & Antonio Hernández-Mendo - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  12
    Mixed Methods in Decision-Making Through Polar Coordinate Technique: Differences by Gender on Beach Handball Specialist.Juan A. Vázquez-Diz, Juan P. Morillo-Baro, Rafael E. Reigal, Verónica Morales-Sánchez & Antonio Hernández-Mendo - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  1
    A negação do vazio por parte de Descartes: as críticas de Newton e Voltaire.Verônica Calazans - 2012 - Dois Pontos 9 (3).
    As críticas de Newton e Voltaire endereçadas à negação do vazio por parte de Descartes compartilham uma estrutura básica: ambos parecem concordar que tal tese cartesiana conduz a implicações indesejáveis tanto no campo da mecânica, quanto no que diz respeito à teologia. Entretanto, embora Newton admita as implicações teológicas da negação do vazio, elas não constituem o fim último de sua crítica, o que parece ocorrer na crítica de Voltaire. Ao contrário, os argumentos newtonianos para assumir o vazioencontram na mecânica (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. Critics, spectators, classicists and geniuses. The enlightened perspective of art.A. Gutierrez Pozo - 2001 - Pensamiento 57 (217):139-147.
    No categories
     
    Export citation  
     
    Bookmark  
  44. ¿Es posible una Sociobiología de la Religión?A. Gutiérrez - 1987 - Diálogo Filosófico 9:324-332.
    No categories
     
    Export citation  
     
    Bookmark  
  45. La forma ensayística de la filosofía de la razón vital.A. Gutierrez Pozo - 1998 - Thémata: Revista de Filosofía 19:73-92.
    No categories
     
    Export citation  
     
    Bookmark  
  46. Vital reason and phenomenology in ortegaygasset.A. Gutierrez Pozo - 1995 - Pensamiento 51 (199):129-147.
     
    Export citation  
     
    Bookmark  
  47.  37
    Engaging with children in research: Theoretical and practical implications of negotiating informed consent/assent.Veronica Lambert & Michele Glacken - 2011 - Nursing Ethics 18 (6):781-801.
    At the outset of an ethnographic inquiry, we navigated national and international resources to search for theoretical and practical guidance on obtaining parents and children’s informed consent/assent. While much theoretical guidance debating ethical issues to children’s participation in research was found, a paucity of published papers offering practical guidance on assent processes and/or visual representations of child assent forms and information sheets was discovered. The purpose of this article is to describe our experiences, both theoretically and practically, of negotiating the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  48.  15
    Priscianvs minor: Teoría gramatical per figvram Y técnica compositiva.Marco A. Gutiérrez - 2018 - Argos 41:e0004.
    En el presente artículo damos cuenta pormenorizada de los ejemplos per figuram obtenidos a través de un novedoso método de trabajo plasmado en decotgrel. De esta forma hemos podido sistematizar todos los ‘usos especiales’ documentados en el así llamado Priscianus minor. De esta manera hemos podido encontrar consideraciones que van más allá de lo meramente normativo y que tienen un gran interés tanto para el conocimiento de la lengua en cuestión como para el análisis de la evolución de los conceptos (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  55
    Satisfiability testing for Boolean formulas using δ-trees.G. Gutiérrez, I. P. de Guzmán, J. Martínez, M. Ojeda-Aciego & A. Valverde - 2002 - Studia Logica 72 (1):85 - 112.
    The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  19
    Satisfiability Testing for Boolean Formulas Using Δ-Trees.G. Gutiérrez, I. P. De Guzmán, J. Martínez, M. Ojeda-Aciego & A. Valverde - 2002 - Studia Logica 72 (1):85 - 112.
    The tree-based data structure of △-tree for propositional formulas is introduced in an improved and optimised form. The △-trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 988